#include <stdio.h>
int main()
{
	int n,arr[30],count[100001]={0};
	scanf("%d",&n);
	for(int i=0;i<n;i++)
	{
		scanf("%d",&arr[i]);
	}
	for(int j=0;j<n;j++)
	{
		count[arr[j]]++;
	}
	for( int i=0;i<100001;i++)
	{
		if(count[i]>0)
		{
			printf("%d:%d\n",i,count[i]);
		}
	}
	return 0;
}
